home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
Turnbull China Bikeride
/
Turnbull China Bikeride - Disc 2.iso
/
STUTTGART
/
LANG
/
PROLOG
/
BP330
/
docs
/
local_bib
< prev
next >
Wrap
Text File
|
1995-02-06
|
6KB
|
224 lines
@inproceedings{tdb95,
author = {Tarau, Paul and Demoen, Bart and De Bosschere, Koen},
title = "The Power of Partial Translation: an Experiment with
the C-ification of Binary Prolog",
booktitle = "Proceedings of the 1995 ACM Symposium on Applied
Computing",
publisher = "ACM Press",
address = "Nashville/TN",
month = feb,
year = 1995
}
@TECHREPORT{Tarau92:WAMOpt,
author={Tarau, Paul},
title = {WAM-optimizations in {B}in{P}rolog: towards a realistic Continuation Passing Prolog Engine},
institution = {Dept. d'Informatique, Universit\'{e} de Moncton},
number = "92-3",
year = 1992,
month = jul,
note = "available by ftp from clement.info.umoncton.ca"
}
@InProceedings{Tarau93:GULP,
title={Language issues and programming techniques in {B}in{P}rolog },
author={Tarau, Paul},
editor={Sacca, Domenico},
booktitle={Proceeding of the GULP'93 Conference},
year=1993,
month=Jun,
address = {Gizzeria Lido, Italy}
}
@inproceedings{Tarau92:ECO,
author={Tarau, Paul},
title = {{E}cological {M}emory {M}anagment in a {C}ontinuation {P}assing
{P}rolog {E}ngine},
pages = {344--356},
editor = {Y. Bekkers and J. Cohen},
booktitle = {Memory Management International Workshop IWMM 92 Proceedings},
year = 1992,
month = Sep,
publisher = {Springer},
series = {Lecture Notes in Computer Science},
keywords = {Logic Programming},
number = 637}
}
@inproceedings{Tarau90:PLILP,
title={{E}lementary {L}ogic {P}rograms},
author={Tarau, Paul and Boyer, Michel},
pages={159--173},
editor={P. Deransart and J. Ma{\l}uszy{\'n}ski},
booktitle={Proceedings of Programming Language Implementation and
Logic Programming},
year=1990,
month=Aug,
publisher={Springer},
series={Lecture Notes in Computer Science},
keywords={Logic Programming},
number=456}
@inproceedings{Tarau91:JAP,
title={A {S}implified {A}bstract {M}achine for the Execution of
{B}inary {M}etaprograms},
author={Paul Tarau},
pages={119--128},
booktitle={Proceedings of the Logic Programming Conference'91},
year=1991,
month=7,
publisher={ICOT, Tokyo}}
@inproceedings{Tarau91:RU,
title={{P}rogram {T}ransformations and {WAM}-support for the
{C}ompilation of {D}efinite {M}etaprograms},
author={Paul Tarau},
pages={462--473},
booktitle = {Logic Programming, RCLP Proceedings},
year = {1992},
editor = {Voronkov, Andrei},
publisher = {Springer-Verlag},
series = {Lecture Notes in Artificial Intelligence},
number = {592},
address = {Berlin, Heidelberg},
}
@inproceedings{Tarau93a,
class = "int-conference",
author = "Tarau, P",
title = "An Efficient Specialization of the WAM for Continuation Passing Binary Programs",
booktitle = "Proceedings of the 1993 ILPS Conference",
address = "Vancouver, Canada",
year = 1993,
note = "poster"
}
@inproceedings{kdb93f,
class = "int-conference",
author = "De Bosschere, K. and Tarau, P",
title = "Blackboard-Based Logic Programming",
booktitle = "Proceedings of the 1993 ILPS Conference",
address = "Vancouver, Canada",
year = 1993,
note = "poster"
}
@inproceedings{Demoen91:RU,
title={{I}mplementation of {P}rolog as binary definite {P}rograms},
author={Demoen, Bart and Mari\"{e}n, Andr\'{e}},
pages={165--176},
booktitle = {Logic Programming, RCLP Proceedings},
year = {1992},
editor = {Voronkov, Andrei},
publisher = {Springer-Verlag},
series = {Lecture Notes in Artificial Intelligence},
number = {592},
address = {Berlin, Heidelberg},
}
@TECHREPORT{Demoen90:KUL,
author={Demoen, Bart},
title = {On the {T}ransformation of a {P}rolog Program to a more efficient
{B}inary Program},
institution = "K.U.Leuven",
number = "130",
month = dec,
year = 1990,
}
@inproceedings{LOPSTR93:Neumerkel,
author="Ulrich Neumerkel",
title= "A Transformation Based on the Equality between Terms",
booktitle= "Logic Program Synthesis and Transformation, LOPSTR 1993",
publisher = "Springer-Verlag",
year = "1993"
}
@PHDTHESIS{Neum92,
author = "Neumerkel, Ulrich",
title = "Specialization of {Prolog} Programs with Partially
Static Goals and Binarization",
type={PhD thesis},
school={Technische Universit\"{a}t Wien},
year = 1992,
}
@Misc{lindgren,
author = "Lindgren, T.",
title = "Compiling Logic Programs Using a Binary Continuation Style",
month = dec,
year = 1992,
note = "draft, Uppsala University"
}
@TECHREPORT{WA83,
author={Warren, D. H. D.},
title = "An {A}bstract {P}rolog {I}nstruction {S}et",
institution = "SRI International",
type="Technical Note",
number=309,
month = Oct,
year = 1983,
}
@inproceedings{TD94:WE,
author={Tarau, Paul and Demoen, Bart},
title = {Language Embedding by Dual Compilation and State Mirroring},
booktitle = {Proceedings of 6-th Workshop on Logic Programming Environments, Santa Margherita Ligure, 1994},
year = 1994,
month = Jun,
comment = "describes the BinProlog Tcl/Tk interface and its design principles"
}
@inproceedings{TA94:JFPL,
author={Tarau, Paul},
title = {Low Level Issues in Implementing a High-Performance Continuation Passing Binary Prolog Engine},
booktitle = {Proceedings of JFPL'94},
year = 1994,
month = jun,
editor = {M.-M. Corsini}
}
@inproceedings{TN94:PLILP,
author={Tarau, Paul and Neumerkel, Ulrich},
title = {A {N}ovel {T}erm {C}ompression {S}cheme and {D}ata
{R}epresentation in the
{B}in{WAM}},
booktitle = {Proceedings of Programming Language Implementation and
Logic Programming},
year = 1994,
month = sep,
publisher = {Springer},
series = {Lecture Notes in Computer Science},
keywords = {Logic Programming},
}
@inproceedings{kdb93j,
author = "De Bosschere, K. and Tarau, P.",
title = "{H}igh {P}erformance {C}ontinuation {P}assing {S}tyle
{P}rolog-to-{C} {M}apping",
booktitle = "Proceedings of the 1994 ACM Symposium on Applied
Computing",
publisher = "ACM Press",
editor = "Deaton, E. and Oppenheim, D. and Urban, J. and Berghel, H.",
address = "Phoenix/AZ",
pages = "383--387",
month = mar,
year = 1994
}
@inproceedings{kdb93d,
class = "int-conference",
author = "De Bosschere, K. and Tarau, P.",
title = "{B}lackboard {C}ommunication in {L}ogic {P}rogramming",
booktitle = "Proceedings of the PARCO'93 Conference",
address = "Grenoble, France",
month = sep,
year = 1993
}